A Logical Foundation for Representation of Clinical Data
نویسندگان
چکیده
منابع مشابه
A Logical Foundation for XML
XML is fast emerging as the dominant standard for data representation and exchange on the World Wide Web. How to view an XML document, i.e., XML data model, and how to query XML documents are two primary research issues for XML. The purpose of this paper is twofold. First, we propose a novel data model for XML that allows us to view XML data in a way similar to complex object data models. Based...
متن کاملLogical Representation of a Conceptual Model for Spatial Data Warehouses
The MultiDimER model is a conceptual model used for representing a multidimensional view of data for Data Warehouse (DW) and On-Line Analytical Processing (OLAP) applications. This model includes a spatial extension allowing spatiality in levels, hierarchies, fact relationships, and measures. In this way decisionmaking users can represent in an abstract manner their analysis needs without consi...
متن کاملUnguessable Atoms: A Logical Foundation for Security
We propose a new foundation for security based on a logical concept of protected information that can be enforced in the mathematical structure of a computation system. We describe a computation system based on event structures and a logic of events, and we show how to model all limitations on the capabilities of adversaries using a theory of atoms.
متن کاملA Logical Foundation for Environment Classifiers
Taha and Nielsen have developed a multi-stage calculus λ with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their scoping mechanism is used to ensure statically that certain code fragments are closed and safely runnable. In this paper, we investigate the Curry-Howard isomorphi...
متن کاملOn a Logical Foundation for Explicit Substitutions
ing Meta-Variables • Propositional reflection of meta-variables ∆, u:A[Ψ]; Γ ⊢ M : B ∆;Γ ⊢ λU.M : [Ψ]A → B →I ∆;Γ ⊢ M : [Ψ]A → B ∆;Ψ ⊢ N : A ∆;Γ ⊢ M (Ψ. N) : B →E • New reduction (λU.M) (Ψ. N) → [(Ψ. N)/U ]M RDP’07, Paris, June 07 – p.34 Incomplete Proofs, Rerevisited • Now open leaves have form ∆;Γ ⊢ ? : A • Need meta-variables U • New meta-hypothesis rule U : A[Σ;Ψ] ∈ ∆ ∆; ∆; Γ ⊢ (σ;σ) : (Σ;Ψ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Medical Informatics Association
سال: 1994
ISSN: 1067-5027,1527-974X
DOI: 10.1136/jamia.1994.95236154